type theory中文是什么意思

发音:

中文翻译
造句

类型论, 类型理论
逻辑类型

type n. 1.型，类型，(工业产品的)品种；风格，型式。 2 ...
theory n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
s type theory 乔施类型理论; 杨施的类型理论
biological theory of sex type 性别类型的生物学理论
blood type theory 血型说
blood type theory of temperament 气质血型说
body type theory 体型说
chiasma type theory 交叉型学说
intuitionistic type theory 归纳类型; 直觉类型理论; 直觉类型论
psychological type theory 心理类型论
ramified theory of type 分歧类型论
simple type theory 简单类型理论
theory of body type 体型论
theory of character function type 性格机能类型论
and theory 经验与理论，119
in theory 从理论上说; 理论上，理论上讲
s theory 弗洛伦斯学说; 戈尔茨学说; 赫伯理论; 嘉农氏理论
the theory of the 事业理论
theory n. 1.理论，学理，原理。 2.学说，论说 (opp. hypothesis)。 3.推测，揣度。 4.〔口语〕见解，意见。 the theory of two points 两点论。 Darwin's theory of evolution 达尔文的进化论。 theory of equations 【数学】方程论。 theory of everything 【物理学】(把相对论、量子论和宇宙大爆炸理论都包括在内的)万用理论。 theory of relativity 【物理学】相对论。 the atomic theory 原子说。 Our scheme is good both in theory and in practice. 我们的方案在理论上和实施上都是好的。 combine [separate] theory with [from] practice 理论结合[脱离]实际。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意见是我们学院应该通过重用年轻一些的人来注入新的血液。 theory of games 博弈论，对策论，权衡利弊得失的形势分析。
theory of 经验的理论，6
will theory 意思说
-type 后缀＝ type: prototype, ferrotype.
a type of 一种类型的..; 一种型号的……
a-type a型人格
be in type 排好字

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

The handling of faults in the originals with newmark ' s text type theory is analyzed
用纽马克的文本分类法来分析对不同原文失误的处理策略。
Application of statistical idea and the triple - type theory in the scientific research of biomedicine
统计学思想与三型理论在生物医学科研中的应用
Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
最后，基于c2adl和软件体系结构的类型理论，系统地研究了引入agent模型产生的软件演化问题。
A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下，用户可以不必是类型理论方面的专家。
Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
The text type theory , which is an important breakthrough and a significant complement of the traditional translation " equivalence principle " , is based on the divisions of text functions
摘要文本类型理论建立在以文本功能为划分标准的基础之上，是对传统翻译等值观的一个重要突破和重要补充。
The theory makes a basic judge on the social type transformation process of present chinese society from traditional type to modern type , and becomes the foundation for the formation of new modernization type theory
这一研究形成了关于中国社会正处在由传统型社会向现代型社会转型过程的基本判断，构成了新型现代化理论的基础。
The paper applies algebraic geometry , computational geometry , approximation theory to study the following problems : the nother type theory and the riemann - roch type theory of the piecewise algebraic curve ; the number of real intersection points of piecewise algebraic curves ; the real piecewise algebraic variety and the b - net resultant of polynomials
本文应用代数几何，计算几何，函数逼近论等学科的基本理论，分别就分片代数曲线的n ( ? ) ther型与riemann - roch型定理；分片代数曲线的实交点数；实分片代数簇以及多项式的b -网结式进行研究。

百科解释

In mathematics, logic, and computer science, type theory generally refers to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type.

详细百科解释